function resizeFrame(module_id, newsize) {
    frame = document.getElementById('frame'+module_id);
new Effect.Morph(frame,{
  style:{
    height:newsize+'px'
  }
});
}

function minimizeModule(id) {
    b = _gel('min'+id);
    if (b.hidden) {
        b.innerHTML = 'Minimize';
        b.hidden = false;
        new Effect.BlindDown('frame'+id);
    } else {
        b.innerHTML = 'Restore';
        b.hidden = true;
        new Effect.BlindUp('frame'+id);
    }
}